81. Petri Nets :
Author: by Wolfgang Reisig.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer Communication Networks.,Computer science.,Logic design.
Classification :
QA267
.
B996
1985
82. Principles and Practice of Constraint Programming :
Author: edited by Christian Schulte.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Computer software.,Logic design.
83. Principles and Practice of Constraint Programming -- CP '95 :
Author: edited by Ugo Montanari, Francesca Rossi.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Information storage and retrieval systems.,Logic design.
84. Process Algebra for Parallel and Distributed Processing
Author:
Library: Library and Documentation Center of Kurdistan University (Kurdistan)
Subject: ، Mathematics, Computing: Professional & Programming, Algebra, Computer architecture & logic design, Computing: general, Programming languages, Mathematics, Programming Languages - General,، Science
85. Progamming Language Implementation and Logic Programming :
Author: edited by Maurice Bruynooghe, Jaan Penjam.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Logic design.,Software engineering.
86. Program Specification :
Author: edited by Jørgen Staunstrup.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Logic design.,Software engineering.
Classification :
QA76
.
6
E358
1982
87. Programming Language Implementation and Logic Programming :
Author: edited by Jan Maluszyński, Martin Wirsing.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Logic design.,Software engineering.
88. Programming Languages Implementation and Logic Programming :
Author: edited by P. Deransart, B. Lorho, J. Małuszyński.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Computer science.,Logic design.
89. Programming Languages and Systems -- ESOP '94 :
Author: edited by Donald Sannella.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Logic design.,Software engineering.
90. Programming Languages and Systems -- ESOP '96 :
Author: edited by Hanne Riis Nielson.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Logic design.,Software engineering.
91. Programming and Mathematical Method :
Author: edited by Manfred Broy.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Logic design.,Software engineering.
Classification :
QA76
.
6
E358
1992
92. Programming in Prolog
Author: by William F. Clocksin, Christopher S. Mellish.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Data structures (Computer science),Logic design.
Classification :
QA76
.
73
.
P76
B995
1984
93. Programs as Data Objects :
Author: by Harald Ganzinger, Neil D. Jones.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Logic design.,Software engineering.
94. Recent Trends in Data Type Specification :
Author: edited by Egidio Astesiano, Gianna Reggio, Andrzej Tarlecki.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Logic design.,Software engineering.
95. Relations and Graphs :
Author: by Gunther Schmidt, Thomas Ströhlein.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Logic design.,Software engineering.
Classification :
QA76
.
9
.
M35
B948
1993
96. Runtime Verification
Author: edited by Sarfraz Khurshid, Koushik Sen
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science,Computer software,Logic design,Software engineering,Algorithm Analysis and Problem Complexity,Computer Science,Logics and Meanings of Programs,Mathematical Logic and Formal Languages,Programming Languages, Compilers, Interpreters,Programming Techniques,Software Engineering
97. Semantics:
Author: edited by J.W. Bakker, W.-P. Roever, G. Rozenberg.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Logic design.,Software engineering.
98. Software Composition
Author: edited by Thomas Gschwind, Flavio Paoli, Volker Gruhn, Matthias Book
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer Communication Networks,Computer science,Logic design,Software engineering,Computer Communication Networks,Computer Science,Logics and Meanings of Programs,Mathematical Logic and Formal Languages,Programming Languages, Compilers, Interpreters,Programming Techniques,Software Engineering
99. Software Engineering 3
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Information theory. ; Software engineering. ; Computer science. ; Logic design. ; Theory of Computation. ;
100. Software Service and Application Engineering
Author: edited by Maritta Heisel
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer Communication Networks,Computer science,Logic design,Software engineering,Computation by Abstract Devices,Computer Communication Networks,Computer Science,Information Systems Applications (incl. Internet),Logics and Meanings of Programs,Software Engineering
